$\vdash$  $\forall$$a$,$b$:$\mathbb{B}$. Dec($a$ = $b$)